Analysis of Candidate PSL Process Plan Representations

نویسنده

  • Stephen T Polyak
چکیده

This paper is a summary of analysis work completed during phase of the National Institute of Standards and Technology s NIST Process Speci cation Language PSL project A set of requirements for this language was produced in phase These requirements were divided into separate categories The main categories of interest for this analysis are the core and outer core requirements Each set was then further partitioned into either representational or functional requirements In phase existing candidate process representations were proposed which were believed to satisfy much of the representational and functional needs Most of the particular set of candidates reviewed are those representations generated by participants in the DARPA Rome Laboratory Planning Initiative ARPI or representations in which participants in the initiative played a part The results of the analyses of a number of the candidate representations with respect to the requirements are reviewed here With contributions from PSL working group members which are speci cally credited in the paper where provided

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Process Specification Language (psl): Results of the First Pilot Implementation

In all types of communication, the ability to share information is often hindered because the meaning of information can be drastically affected by the context in which it is viewed and interpreted. This is especially true in manufacturing because of the growing complexity of manufacturing information and the increasing need to exchange this information among various software applications. Diff...

متن کامل

Putting knowledge rich plan representations to use

AI planning research is now maturing and nding practical application in the commercial industrial engineering and defence sectors This has led to a rapid expansion in the last couple of years of investment in this area The plan representations which have emerged from the research have been found to be of bene t in a number of areas even when the generation of a plan is not the primary concern O...

متن کامل

A counterexample to the simple loop conjecture for PSL(2, R)

In this note, we give an explicit counterexample to the simple loop conjecture for representations of surface groups into PSL(2, R). Specifically, we use a construction of DeBlois and Kent to show that for any orientable surface with negative Euler characteristic and genus at least 1, there are uncountably many non-conjugate, non-injective homomorphisms of its fundamental group into PSL(2, R) t...

متن کامل

Representations of Fundamental Groups of 3-manifolds into Pgl(3,c): Exact Computations in Low Complexity

In this paper we are interested in computing representations of the fundamental group of a 3-manifold into PSL(3,C) (in particular in PSL(2,C),PSL(3,R) and PU(2, 1)). The representations are obtained by gluing decorated tetrahedra of flags as in [11, 1]. We list complete computations (giving 0-dimensional or 1-dimensional solution sets) for the first complete hyperbolic non-compact manifolds wi...

متن کامل

Simple Root Flows for Hitchin Representations

Anosov representations ([19, 15]) from a hyperbolic group to a semi-simple Lie group are characterized by their dynamical nature. In the context of projective Anosov representations, we [7] previously associated a metric Anosov flow to such a representation and showed that the (thermo)dynamical properties of this flow yield in turn new structures on the deformation space of these representation...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997